Hakuluettelo:
Käännös:
sequent calculus (suomeksi)
- Määritelmät:
- (lb, en, mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.
Viimeisimmät haut: sequent calculus, mustakulma-albatrossi, cynick, snatched the pebble, Huaibei, yepsen